x86_32: Lock in map_domain_page() may be taken with IRQs disabled, and
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 27 Oct 2008 10:49:20 +0000 (10:49 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 27 Oct 2008 10:49:20 +0000 (10:49 +0000)
commita932eedd3d7c6d60e207492d7d83d4e60a2989a3
tree55796e74c47c49ec9f6854ddc582b6e987c99026
parent1b2564299803bb54d0a696a0ad2e83358a15d27d
x86_32: Lock in map_domain_page() may be taken with IRQs disabled, and
hence must *always* disable IRQs.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/x86_32/domain_page.c